1. Alan Turing :
پدیدآورنده: edited by S. Barry Cooper and Jan van Leeuwen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
C65
2013
2. Algorithms - ESA '94.
پدیدآورنده: Jan Van Leeuwen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
3. Algorithms-ESA'94 : second annual European Symposium Utrecht, The Netherlands, September 26-28, 1994 : Proceedings
پدیدآورنده: Jan Van Leeuwen )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
855
4. Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
پدیدآورنده: Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2076
5. Computer science today : recent trends and developments
پدیدآورنده: Jan van Leeuwen, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science
رده :
QA
76
.
L28
Vol
.
1000
6. Graph-theoretic concepts in computer science : 19th International Workshop, WG'93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings
پدیدآورنده: Jan van Leeuwen, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Graph theory
رده :
QA
76
.
L28
Vol
.
790
7. Graph-theoretic concepts in computer science : 19th international workshop, WG 93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings
پدیدآورنده: Jan van Leeuwen, ed
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Graph theory - Congresses , Computer science - Congresses
رده :
QA
166
.
G7172
1993
8. Handbook of theoretical computer science
پدیدآورنده: edited by Jan Van Leeuwen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science
رده :
QA
76
.
H25
1990
9. Handbook of theoretical computer science
پدیدآورنده: edited by Jan van Leeuwen
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computer science
رده :
QA
76
.
H279
1990
10. Handbook of theoretical computer science
پدیدآورنده: / edited by Jan van Leeuwen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer science
رده :
QA76
.
H279
1990
11. Handbook of theoretical computer science
پدیدآورنده: / edited by Jan van Leeuwen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer science
رده :
QA76
.
H279
1990
12. Nonlinear Data Assimilation
پدیدآورنده: / Peter Jan Van Leeuwen, Yuan Cheng, Sebastian Reich
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
13. SOFSEM 2007
پدیدآورنده: \ Jan van Leeuwen ... [et al.] (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Congresses.,Computers -- Congresses.,نرم‌افزار -- کنگره ها,کامپیوتر‌ها -- کنگره‌ها
رده :
E-Book
,
14. Topics in the theory of computation :
پدیدآورنده: edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity-- Congresses,Computer science-- Mathematics-- Congresses,Machine theory-- Congresses
رده :
QA267
.
I56
1983
15. Topics in the theory of computation
پدیدآورنده: / edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity--Congresses,Machine theory--Congresses,Electronic data processing--Mathematics--Congresses
رده :
QA
,
267
,.
I56
,
1983
